Stelling van König (verzamelingenleer)

In de verzamelingenleer, een deelgebied van de wiskunde, is de stelling van König een strikte ongelijkheid tussen twee kardinaalgetallen die respectievelijk de som en het product zijn van de termen van twee rijen kardinaalgetallen waarvan de een gedomineerd wordt door de ander. De stelling kan alleen bewezen worden onder aanname van het keuzeaxioma.

Stelling

Veronderstel dat het keuzeaxioma geldt en laat $I$ een verzameling zijn die de indexverzameling is van de rijen kardinaalgetallen $(m_{i})_{i\in I}$ en $(n_{i})_{i\in I}$ waarvoor geldt: $m_{i}<n_{i}$ voor elke $i\in I$. Dan is

$\sum _{i\in I}m_{i}<\prod _{i\in I}n_{i}$

Daarin is de som gedefinieerd als de machtigheid van de vereniging van de paarsgewijze disjuncte verzamelingen $M_{i}$ met machtigheid $m_{i}=|M_{i}|$:

$\sum _{i\in I}m_{i}={\Big |}\bigcup _{i\in I}M_{i}{\Big |}$

en het product als de machtigheid van het Cartesisch product.

$\prod _{i\in I}m_{i}={\Big |}\prod _{i\in I}M_{i}{\Big |}$

De stelling is genoemd naar de Hongaarse wiskundige Gyula Kőnig, die publiceerde onder zijn Europese alias Julius König.